package test.numberevent;


import event.numberevent.NumberEvent;
import event.numberevent.NumberListener;
import event.numberevent.Range;

public interface UserStateListener extends NumberListener<Integer>{

	/**rappresenta la lista di istruzioni da eseguire quando l'utente
	 * non sta modificando nulla
	 * 
	 * @param e
	 */
	@Range(inf = 0, sup = 0)
	public void idleState(NumberEvent<Integer> e);
	
	/**rappresenta la lista di istruzioni da eseguire quando l'utente
	 * sta modificando qualcosa nel grafo
	 * 
	 * @param e
	 */
	@Range(inf = 1, sup = 1)
	public void editingState(NumberEvent<Integer> e);
}
